These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Continue reading